1. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
2. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
3. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
4. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
5. Conditional and preferential logics
پدیدآورنده : Gian Luca Pozzato
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Logic, Symbolic and mathematical,Proof theory
رده :
QA
,
9
,.
P65
,
2010
6. Conditional and preferential logics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Proof theory. ;
7. Gentzen-style aximatizations for basic logic
پدیدآورنده : by: Mojtaba Aghaei Foroushani,^AAghaei Foroushani, Mojtaba
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Logic, Symbolic and mathematical,Proof theory
8. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2010
9. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
10. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
11. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
12. Hybrid logic and its proof-theory
پدیدآورنده : Brauner, Torben
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
B73H9
13. Learning to reason: an introduction to logic, sets and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
14. Learning to reason: an introduction to logic, sets, and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
15. Linear logic in computer science
پدیدآورنده : edited by Thomas Ehrhard ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
16. Logic II : proof
پدیدآورنده : prepared by the mathematics foundation course team
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
O6
1971
17. Logic, Proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Logic, symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
18. Logic in algebraic form; Three languages and theories
پدیدآورنده : Craig, William
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
C7
19. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
20. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982